منابع مشابه
Narciso Martí - Oliet
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion of simulation between Kripke structures, study its categorical aspects, and propose rewriting logic as a framework in which these simulations can be represented. Several representability results showing that rewriting...
متن کاملEnabling Advanced Business Intelligence in Divino
This paper presents the system targeted in the Divino project, funded under the Industria 2015 framework of the Italian Ministry of Industry. The resulting platform embodies an innovative portal technology where Social Web functionalities, User Profiling and Aspect-based Opinion Mining are integrated through Liferay, a well known Enterprise Portal Technology. The proposed approach allows analys...
متن کاملA Third Blockini El Blockinbased O Organ Onal Confer
There is a growing research activity around the use of metaheuristic search techniques (e.g., genetic algorithms) in software engineering, for example to support test case generation. This is often referred to as search-based software engineering and is the subject of an international conference every year. This presentation will reflect on several years of research, involving several collabora...
متن کاملEffectiveness of the directional microphone in the Baha® Divino™.
BACKGROUND Patients with unilateral sensorineural hearing loss (USNHL) experience great difficulty listening to speech in noisy environments. A directional microphone (DM) could potentially improve speech recognition in this difficult listening environment. It is well known that DMs in behind-the-ear (BTE) and custom hearing aids can provide a greater signal-to-noise ratio (SNR) in comparison t...
متن کاملO Ambiente Estimulador Ao Desenvolvimento Da Criança Hospitalizada El Ambiente Que Estimule El Desarrolo Del Niño Hospitalizado
RESUMEN Estudio con enfoque cualitativo que utilizó el método de la observación simple. Realizado con ocho niños internados en dos servicios de pediatría de un hospital-escuela de la ciudad de São Paulo. El objetivo fue identificar elementos que estimulen el desarrollo del niño en un hospital. La finalidad fue motivar al profesional de enfermería para adaptar el ambiente hospitalario a las nece...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista Iberoamericana
سال: 1977
ISSN: 2154-4794,0034-9631
DOI: 10.5195/reviberoamer.1977.3572